Dr. Eric Boehm

Discriminating Lambda-Terms Using Clocked Boehm Trees

As observed by Intrigila [16], there are hardly techniques available in the λ-calculus to prove that two λ-terms are not β-convertible. Techniques employing the usual Böhm Trees are inadequate when we deal with terms having the same Böhm Tree (BT). This is the case in particular for fixed point combinators, as they all have the same BT. Another interesting equation, whose consideration was sugg...

Weak Typed Boehm Theorem on IMLL

In the Böhm theorem workshop on Crete island, Zoran Petric called Statman’s “Typical Ambiguity theorem” typed Böhm theorem. Moreover, he gave a new proof of the theorem based on set-theoretical models of the simply typed lambda calculus. In this paper, we study the linear version of the typed Böhm theorem on a fragment of Intuitionistic Linear Logic. We show that in the multiplicative fragment ...

Eric Kandel

Organocatalysis Eric

T he field of asymmetric catalysis is dedicated to the development of efficient catalytic methods for the construction of chiral molecules and has been dominated by the use of organometallics and enzymes for most of its history. However, in the past decade, the concept of organocatalysis has emerged as a discrete strategy for addressing modern day challenges in chemistry. It has become widely a...

Eric Gaskell